Implication Details

Assumptions: cofiltered-limit-stable epimorphisms, self-dual

Conclusions: filtered-colimit-stable monomorphisms

Reason: This holds by self-duality.